🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧪 Property-Based Testing

QuickCheck, Input Generation, Hypothesis Testing, Test Refinement

Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·5h·
Discuss: Hacker News
🌀Brotli Internals
Understanding the Basics: What Is Unit Testing?
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
What Is Wrong with Statement Coverage
bullseye.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Program Execution, follow-up
windowsir.blogspot.com·2h·
Discuss: www.blogger.com
⚡Performance Tools
Flame Graph Performance Truth Analysis(1750839255230100)
dev.to·6h·
Discuss: DEV
⚡Performance Tools
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing
The Guide to the Foundation Models Framework
azamsharp.com·1h·
Discuss: Hacker News
λLambda Formalization
When "Yes" Means Nothing: An LLMs Failure to Isolate a Localization Bug
blog.kortlepel.com·1d·
Discuss: Hacker News
🐛Fuzzing
Deep Learning Framework Testing via Model Mutation: How Far Are We?
arxiv.org·1d
🐛Fuzzing
Xunit.v3, Testcontainers, and .NET
azan-n.com·2d·
Discuss: Hacker News
🐛Fuzzing
Machine Learning Fundamentals: accuracy with python
dev.to·23h·
Discuss: DEV
👁️Observatory Systems
Regression Testing Services: What to Expect and What to Demand
belitsoft.com·1d·
Discuss: Hacker News
🔍Concolic Testing
Rethinking the Role of Operating Conditions for Learning-based Multi-condition Fault Diagnosis
arxiv.org·1d
🧠Machine Learning
I Built an AI Copilot for Pentesting—Then Turned It Off
hackernoon.com·7h
📏Code Metrics
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·1d·
Discuss: r/rust
🦀Rust Verification
**Master Rust Testing: Essential Strategies for Bulletproof Code Quality and Development Efficiency**
dev.to·2d·
Discuss: DEV
🦀Rust Verification
The Interactive Handbook on Data Structures and Algorithms
cartesian.app·1d·
Discuss: Lobsters, Hacker News, Hacker News
🌳Trie Structures
Python Fundamentals: TDD
dev.to·3d·
Discuss: DEV
🔍Concolic Testing
Loading...Loading more...
AboutBlogChangelogRoadmap